Agents that look at one another

Despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means ofruns and clock time functions, one of the things which strikes one when studying multiagent logics is how abstracttheir semantics are. Contrasting this fact is the fact that real agents like robots in everyday life and virtual charactersin video games have strong links with their spatial environment. In this paper, we introduce multiagent logicswhich semantics can be defined by means of purely geometrical notions: possible states are defined by means of thepositions in Rn occupied by agents and the sections of Rn seen by agents whereas accessibility relations are definedby means of the ability of agents to imagine possible states compatible with what they currently see.